Lagrange theorem